* window.c (Fdelete_window_internal): Invalidate the mouse highlight.
authorChong Yidong <cyd@gnu.org>
Sun, 12 Feb 2012 04:29:50 +0000 (12:29 +0800)
committerChong Yidong <cyd@gnu.org>
Sun, 12 Feb 2012 04:29:50 +0000 (12:29 +0800)
commit7f164a43348ca0c966cf1ff93c583c7d087bf393
treea51f703cdb977db664ac1fb792ae48492f51a3ac
parent397b59261dca2c43dc43d2742652bcdf0c36f081
* window.c (Fdelete_window_internal): Invalidate the mouse highlight.
src/ChangeLog
src/window.c